1

Validation of protocols with temporal constraints

Year:
1996
Language:
english
File:
PDF, 1.26 MB
english, 1996
2

Temporal validation of multimedia protocols

Year:
2000
Language:
english
File:
PDF, 1.03 MB
english, 2000
3

Coordination Algorithm for Distributed Testing

Year:
2003
Language:
english
File:
PDF, 87 KB
english, 2003
5

A Riemann-Hurwitz Formula for Hypermaps Congruences

Year:
1989
Language:
english
File:
PDF, 451 KB
english, 1989